Issue2935.agda:9,5-8
Too few arguments to constructor suc, expected 1 more explicit
argument
when checking that the pattern suc has type ℕ
